Types for proofs and programs - International Workshop, TYPES 2000, Durham,UK, December 8-12, 2000 : selected papers
- Författare
- (Paul Callaghan ... (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2002 | Tyskland, Berlin | 242 sidor. | |